Nuprl Definition : Rrframe 11,40
Rrframe(loc; x; L) == inr inr inr inr inr inr inr inr inr inr <loc, x, L>           
latex

Definitionsinr x , <a, b>
FDL editor aliasesRrframe, Rrframe

origin